immediate dominator(常缩写 idom):在控制流图(control-flow graph)或一般有向图的“支配关系”(dominance)中,某个节点 n 的直接支配节点是指:在所有支配 n 的节点里,离 n 最近的那个节点(除了 n 本身),并且它是支配树(dominator tree)里 n 的父节点。
(该术语主要用于编译原理、程序分析与图算法语境。)
/ɪˈmiːdiət ˈdɒmɪneɪtər/(美式常见:/ɪˈmiːdiət ˈdɑːmɪneɪtər/)
The immediate dominator of a node is its parent in the dominator tree.
一个节点的直接支配节点就是它在支配树中的父节点。
In SSA construction, computing each block’s immediate dominator helps place φ-functions correctly.
在构建 SSA 形式时,计算每个基本块的直接支配节点有助于正确放置 φ 函数。
immediate 来自拉丁语 immediatus,意为“没有中间隔开的、紧接的”;dominator 源自拉丁语 dominari(统治、支配)。在编译与程序分析中,“dominator(支配节点)”是借用“支配/控制”的含义来描述控制流中“所有路径都必须经过”的结构关系;“immediate”强调“在支配关系链上最近的那个”。